Lower Bound for Evaluation of mu-nu Fixpoint

نویسنده

  • Pawel Parys
چکیده

We consider a fixpoint expressions μy.νx. f (x,y) over the lattice {0,1}n, where f : {0,1}2n → {0,1}n is any monotone function. We study only algorithms for calculating these expressions using f only as a black-box: they may only ask for the value of f for given arguments. We show that any such algorithm has to do at least about n2 queries to the function f , namely Ω ( n2 logn ) queries.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

بررسی نرخ شیوع اعتیاد به اینترنت در دختران و مقایسه دختران معتاد و غیر معتاد به اینترنت در متغیرهای تنهایی ، عزت نفس و مهارتهای اجتماعی

The current study attempts to investigate the prevallence of Internet addiction among high-school girls in Tehran. Another goal is to determine if female Internet addicts in Tehran show the same problems as addicts in other countries, such as more loneliness, and lower self-esteem and social skills. A total of 939 high-school girls in three grades and three fields from five areas of Tehran were...

متن کامل

Molecular dynamics of a grid-mounted molecular dipolar rotor in a rotating electric field.

Classical molecular dynamics is applied to the rotation of a dipolar molecular rotor mounted on a square grid and driven by rotating electric field E(nu) at T approximately 150 K. The rotor is a complex of Re with two substituted o-phenanthrolines, one positively and one negatively charged, attached to an axial position of Rh(2)(4+) in a [2]staffanedicarboxylate grid through 2-(3-cyanobicyclo[1...

متن کامل

Disjunctive bases: normal forms and model theory for modal logics

We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the proof of a generic completeness theorem for coalgebraic mu-calculi. Believing the concept has a much wider significance, here we investigate it m...

متن کامل

Limit on the electron neutrino magnetic moment from the kuo-sheng reactor neutrino experiment.

A search of neutrino magnetic moment was carried out at the Kuo-Sheng Nuclear Power Station at a distance of 28 m from the 2.9 GW reactor core. With a high purity germanium detector of mass 1.06 kg surrounded by scintillating NaI(Tl) and CsI(Tl) crystals as anti-Compton detectors, a detection threshold of 5 keV and a background level of 1 kg(-1) keV(-1) day(-1) at 12-60 keV were achieved. Based...

متن کامل

Heuristic approach to solve hybrid flow shop scheduling problem with unrelated parallel machines

In hybrid flow shop scheduling problem (HFS) with unrelated parallel machines, a set of n jobs are processed on k machines. A mixed integer linear programming (MILP) model for the HFS scheduling problems with unrelated parallel machines has been proposed to minimize the maximum completion time (makespan). Since the problem is shown to be NP-complete, it is necessary to use heuristic methods to ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009